home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / man / compile_to_c.hlp next >
Encoding:
Text File  |  1996-05-02  |  2.8 KB  |  65 lines
  1. compile_to_c [options] <Root-Class> <Root-Procedure> [*.c] [*.o] [-l*]
  2.  
  3. Command `compile_to_c' is the SmallEiffel ANSI C code generator.
  4. Usualy this command is automatically called by command `compile'
  5. but you can use it separately to produce C code.
  6.  
  7. Command `compile_to_c' must have at least two arguments to indicate
  8. the starting execution point of the system.
  9. Thus, execution will start in <Root-Procedure> of <Root-Class>.
  10.  
  11. Command `compile_to_c' produce all needed C files and also produce
  12. one command file. 
  13.  
  14. 1- Options to select Eiffel compilation mode -
  15. There are 8 modes of compilation given by the following
  16. options names: -debug_check -all_check -loop_check -invariant_check 
  17. -ensure_check -require_check -no_check and -boost option.
  18. Only one mode can be selected for the whole system to compile.
  19. Option -all_check is the default one.
  20.  
  21. -boost : Compilation mode which includes all optimization. There is
  22.    no target's existence test, no system-level validity checking.
  23.    Some routines are inlined. No code is generated to get an execution
  24.    trace in case of failure. There is no assertion check.
  25. -no_check : Compilation mode in which no Eiffel assertion is checked.
  26.    The target's existence test is performed. Some code is generated
  27.    for the system-level validity checking, and to produce an execution
  28.    trace (an execution stack is managed).
  29.    There is no inlining and no assertion check.
  30. -require_check : Compilation mode in which Eiffel preconditions
  31.    are checked. The generated code is similar to the previous one, 
  32.    but also includes code to test preconditions (require).
  33. -ensure_check : The generated code is similar to the previous one, 
  34.    but also includes code to test postconditions (ensure).
  35. -invariant_check : The generated code is similar to the previous one, 
  36.    but also includes code to test class invariant.
  37. -loop_check : The generated code is similar to the previous one, 
  38.    but also includes code to test loop variant and loop invariant.
  39. -all_check : The default mode. The generated code is similar to the
  40.    previous one, but also includes code for the check instruction.
  41. -debug_check : The generated code is similar to the previous one, 
  42.    but also includes code for the debug instruction. 
  43.    All debug are checked regardless of the string optional key.
  44.  
  45. 2- Others options -
  46.  
  47. -cc : Call cc instead of gcc which is the default.
  48.  
  49. -no_strip : Do not produce a strip in the command file.
  50.  
  51. -o <output_name> : same meaning as -o option of the C compiler.
  52.  
  53. 3- Options passed to the C compiler -
  54. Remaining options, *.c files, *.o files, library -l* are passed
  55. to the C compiler/linker.
  56.  
  57. 4- The Environment variable `SmallEiffel' is used to indicate
  58. the place on the disk where the SmallEiffel directory is.
  59. This variable also indicate the system used. When `SmallEiffel' 
  60. value contains a character is '/', the compiler assume it is a 
  61. UNIX like system.
  62.  
  63.  
  64.    
  65.